Klaus Ambos-Spies (auth.): البحث على موقع Z-Library

حرية الوصول إلى المعرفة والثقافة.

Don't use scam websites

1

Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II

Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies (auth.), Egon Börger, Walter Oberschelp, Michael M. Richter, Brigitta Schinzel, Wolfgang Thomas (eds.)

عام:

1984

اللغة:

english

ملف:

PDF, 5.49 MB

0 / 0

english, 1984

2

STACS 85: 2nd Annual Symposium on Theoretical Aspects of Computer Science Saarbrücken, January 3–5, 1985

STACS 85: 2nd Annual Symposium on Theoretical Aspects of Computer Science Saarbrücken, January 3–5, 1985

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies (auth.), K. Mehlhorn (eds.)

عام:

1985

اللغة:

english

ملف:

DJVU, 3.05 MB

0 / 0

english, 1985

3

Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany April 15–21, 1984

Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany April 15–21, 1984

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies (auth.), Heinz-Dieter Ebbinghaus, Gert H. Müller, Gerald E. Sacks (eds.)

عام:

1985

اللغة:

english

ملف:

PDF, 15.78 MB

0 / 0

english, 1985

4

The Nature of Computation. Logic, Algorithms, Applications: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

The Nature of Computation. Logic, Algorithms, Applications: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Ulrike Brandt (auth.), Paola Bonizzoni, Vasco Brattka, Benedikt Löwe (eds.)

عام:

2013

اللغة:

english

ملف:

PDF, 5.84 MB

0 / 0

english, 2013

5

Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG, March 19–25, 1989

Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, FRG, March 19–25, 1989

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Steven Homer, Dongping Yang (auth.), Klaus Ambos-Spies, Gert H. Müller, Gerald E. Sacks (eds.)

عام:

1990

اللغة:

english

ملف:

DJVU, 3.15 MB

0 / 0

english, 1990

6

Computation Theory and Logic

Computation Theory and Logic

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies (auth.), Egon Börger (eds.)

عام:

1987

اللغة:

english

ملف:

DJVU, 4.50 MB

0 / 0

english, 1987

7

Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany April 15–21, 1984

Recursion Theory Week: Proceedings of a Conference held in Oberwolfach, West Germany April 15–21, 1984

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies (auth.), Heinz-Dieter Ebbinghaus, Gert H. Müller, Gerald E. Sacks (eds.)

عام:

1985

اللغة:

english

ملف:

PDF, 4.81 MB

0 / 0

english, 1985

8

Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings

Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Anberrée (auth.), Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle (eds.)

عام:

2009

اللغة:

english

ملف:

PDF, 6.42 MB

0 / 0

english, 2009

9

Logic and Machines: Decision Problems and Complexity: Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23 – 28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen

Logic and Machines: Decision Problems and Complexity: Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23 – 28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies (auth.), E. Börger, G. Hasenjaeger, D. Rödding (eds.)

عام:

1984

اللغة:

english

ملف:

DJVU, 3.29 MB

0 / 0

english, 1984

10

CSL '87: 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings

CSL '87: 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12–16, 1987 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Hans Fleischhack, Hagen Huwig (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)

عام:

1988

اللغة:

english

ملف:

DJVU, 3.20 MB

0 / 0

english, 1988

11

CSL '89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings

CSL '89: 3rd Workshop on Computer Science Logic Kaiserslautern, FRG, October 2–6, 1989 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Dongping Yang (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)

عام:

1990

اللغة:

english

ملف:

DJVU, 4.21 MB

0 / 0

english, 1990

12

Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings

Mathematical Theory and Computational Practice: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Thomas Anberrée (auth.), Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle (eds.)

عام:

2009

اللغة:

english

ملف:

PDF, 6.49 MB

0 / 0

english, 2009

13

CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings

CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3–7, 1988 Proceedings

Springer-Verlag Berlin Heidelberg

Klaus Ambos-Spies, Jürgen Kämper (auth.), Egon Börger, Hans Kleine Büning, Michael M. Richter (eds.)

عام:

1989

اللغة:

english

ملف:

DJVU, 2.87 MB

0 / 0

english, 1989